regular languages inverse homomorphism